#ifndef _TF_H_
#define _TF_H_

#include "rtos.h"

err_t tf_configuration(void);

#endif
